acm software system award造句

The Association for Computing Machinery recognized Eclipse with the 2011 ACM Software Systems Award on 26 April 2012.
Adve along with other main authors were given the 2012 ACM Software System Award for the LLVM project.
In 2009, ACM recognized the seminal contributions of his Gamma parallel database system project with the ACM Software System Award.
The Association for Computing Machinery presented Adve, Lattner, and Evan Cheng with the 2012 ACM Software System Award for LLVM.
To mark the popularity and significance of Tk in the 1990s, John Ousterhout was given the ACM Software System Award in 1997 for Tcl / Tk:
It's difficult to find acm software system award in a sentence. 用acm software system award造句挺难的

In 1992, an ACM Software System Award recognized the team of Daniel G . Bobrow, Richard R . Burton, L . Peter Deutsch, Ronald Kaplan, Larry Masinter, Warren Teitelman for their pioneering work on Interlisp.
She served as president of the Association for Computing Machinery ( ACM ) from 1984 to 1986, and, together with Alan Kay and Dan Ingalls, received the ACM Software Systems Award in 1987 and was also included in Forbes's " Twenty Who Matter ".
The "'ACM Software System Award "'is an annual award that honors people or an organization " " for developing a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both " ".
In 2005, the authors of the Boyer-Moore family of provers, which includes ACL2, received the ACM Software System Award " for pioneering and engineering a most effective theorem prover ( . . . ) as a formal methods tool for verifying safety-critical hardware and software ."